*{
	margin: 0px;
	padding: 0px;
}
ul, dl{
	margin-left: 1em;
}
dt{
	font-size: 1.1em;
	font-weight: bold;
}
dd{
	margin-left: 0.5em;
}
h1{
}
body{
	background-color: #efe;
}
#overlord{
	width: 800px;
	margin: 15px auto;
	background-color: #fff;
}
#header{
	padding: 5px;
	text-align: center;
	border-top: 2px solid #9a9;
	border-bottom: 2px solid #9a9;
}
#body{
	padding: 10px;
	line-height: 1.2em;
}
#footer{
	padding: 5px;
	text-align: center;
	border-top: 2px solid #9a9;
	border-bottom: 2px solid #9a9;
}
.code{
	font-family: monospace;
	font-size: 0.9em;
	font-weight: bold;
}
div.code{
	background-color: #fff;
	border: 1px solid #999;
	padding: 5px;
}